stringify bash array to json string